tl($l$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$rec{-}case($l$) of [] =$>$ [] $\mid$ $h$::$t$ =$>$ $v$.$t$